Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Constraint Solvers
SAT, Z3, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
183739
posts in
11.1
ms
ConstraintBench
:
Benchmarking
LLM Constraint Reasoning on Direct Optimization
arxiv.org
·
4d
🎯
Constraint Solving
Ganak
: The Making of a
Versatile
, High Performance Model Counter
msoos.org
·
1d
·
Discuss:
Hacker News
⚙️
Zig Comptime
Complexity of Satisfiability in
Kochen-Specker
Partial Boolean Algebras
arxiv.org
·
1d
🧩
SAT Solvers
FGRPO
: Fine-grained reasoning preference optimization with iterative
stabilization
for mathematical reasoning in large language model
sciencedirect.com
·
1d
🎯
Constraint Solving
Idempotency
in AI Tools: The Most Expensive Thing Teams
Forget
dzone.com
·
10h
🔄
Coroutines
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
🧮
Theorem Provers
Programming
in K
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
RL
Training For
Math
Reasoning
research.perplexity.ai
·
8h
🪜
Recursive Descent
🚀
LeetCode
Top 150
dev.to
·
1d
·
Discuss:
DEV
🚀
Code Motion
A two-stage
evolutionary
algorithm for uncertain constrained multi-objective problems with
interval-valued
objective
sciencedirect.com
·
1d
🔍
Fuzzy Matching
Detecting
and Editing Visual
Objects
with Gemini
medium.com
·
13h
🔍
Lens Libraries
Show HN:
StrategicConsult
– Game theory
augmented
AI for decision making
negotiatecash.com
·
5h
·
Discuss:
Hacker News
⚡
Partial Evaluation
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
8h
🔀
SSA Construction
The
Structural
Navigation Agent: Enforcement Architecture and
Structural
Analysis for Multi-Agent
Coordination
petronus.eu
·
4h
·
Discuss:
DEV
🕸️
Graph Algorithms
AI and Humans
Verify
Fields
Medal
Proof for the First Time
spectrum.ieee.org
·
11h
·
Discuss:
Hacker News
,
r/technews
🔢
Algebraic Datatypes
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
12h
📈
Monotonic Logic
How to
efficiently
learn the
necessary
tools and methods _around_ programming itself?
en.wikipedia.org
·
10h
·
Discuss:
r/learnprogramming
📐
Mathematical Computing
Build an AI-Powered
QA
Agent with Agent Browser,
Vercel
AI SDK, and LLM Gateway
dev.to
·
15h
·
Discuss:
DEV
💬
Interactive REPLs
PropertyGPT
: LLM-driven
Formal
Verification of Smart Contracts through Retrieval-Augmented Property Generation
papers.cool
·
1d
🎲
Property Testing
Fast
Autoscheduling
for Sparse ML
Frameworks
fredrikbk.com
·
2d
·
Discuss:
Hacker News
🚀
MLton
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help